Советский философский словарь - аксиома
Связанные словари
Аксиома
аксиома
исходное положение науч. теории, принимаемое в качестве истинного без логич. доказательства и лежащее в основе доказательства др. положений этой теории. Термин «А.» впервые встречается у Аристотеля. В истории познания А. обычно рассматривались как вечные и непреложные априорные истины, при этом упускалась из виду их обусловленность многовековым человеч. опытом, практич.-познават. деятельностью. В совр. науке А.это те предложения теории, к-рые принимаются за исходные, причём вопрос об истинности решается либо в рамках др. науч. теорий, либо посредством интерпретации данной теории. В отличие от содержат, науч. теории, А. в формальном исчислении это просто одна из тех формул, из к-рых по правилам вывода этого исчисления выводятся остальные доказуемые в нём формулы (теоремы этого исчисления). См. также ст. Аксиоматический метода лит. к ней.
Рейтинг статьи:
См. в других словарях
1.
(от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положений. Долгое время термин "А." понимался не просто как отправной пункт доказательств, но и как истинное положение, не нуждающееся в особом доказательстве в силу его самоочевидности, наглядности, ясности и т. п. Так, Аристотель (384-322 до н. э.) считал, что А. (начала) не требуют доказательства по причине своей ясности и простоты. Древнегреческий математик Евклид (III в. до н. э.) рассматривал принятые им геометрические А. как самоочевидные истины, достаточные для выведения всех других истин геометрии. Нередко А. трактовались как вечные и непреложные истины, известные до всякого опыта и не зависящие от него, попытка обоснования которых могла только подорвать их очевидность. Переосмысление проблемы обоснования А. изменило и содержание самого термина "А.". А. являются не исходным началом познания, а скорее его промежуточным результатом. Они обосновываются не сами по себе, а в качестве необходимых составных элементов теории: подтверждение последней есть одновременно и...Словарь по логике
2.
(от греч. axioma значимость, требование) исходное положение, которое не может быть доказано, но в то же время и не нуждается в доказательстве, т. к. является совершенно очевидным и поэтому может служить исходным положением для др. положений (см. Дедукция). Логическими аксиомами являются: закон тождества, закон противоречия, закон исключенного третьего (см. Exclusi tertii principium), закон достаточного основания. Аксиоматика учение об определениях и доказательствах в их отношении к системе аксиом. Ср. Логистика. ...Философский энциклопедический словарь
3.
(греч. axioma — принятое положение) — исходное утверждение (предложение) к.-л. научной теории, к-рое берется в качестве недоказуемого в данной теории и из к-рого (или совокупности к-рых) выводятся все остальные предложения теории по принятым в ней правилам вывода (ср. Постулат). Начиная с античности и вплоть до средины 19 в. А. рассматривались как интуитивно очевидные или априорно истинные предложения. При этом упускалась из виду их обусловленность человеческой практически-познавательной деятельностью. Ленин писал, что практическая деятельность человека, миллиарды раз повторяясь, закрепляется в его сознании фигурами логики, к-рые в силу этого многократного повторения получают значение аксиом. Совр. понимание аксиоматического метода требует от А. выполнения лишь одного условия: быть исходными положениями для вывода с помощью принятых логических правил всех остальных предложений (теорем) данной теории. Вопрос об истинности А. решается или в рамках др. научных теорий, или при нахождении интерпретации (Интерпретация и модель) данной системы: реализация нек-рой формализованной аксиоматической системы в той или иной...Философский энциклопедический словарь
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1731 | |
2 | 1417 | |
3 | 1215 | |
4 | 1146 | |
5 | 1135 | |
6 | 1100 | |
7 | 905 | |
8 | 832 | |
9 | 789 | |
10 | 756 | |
11 | 748 | |
12 | 732 | |
13 | 701 | |
14 | 699 | |
15 | 697 | |
16 | 678 | |
17 | 677 | |
18 | 653 | |
19 | 648 | |
20 | 629 |